Curriculum Vitae Vassilis Zikas Assistant Professor, RPI Rensselaer Polytechnic Institute

Source URL: www.cs.rpi.edu

• Formal sciences
• Eurocrypt
• Ueli Maurer
• Cryptography
• International Colloquium on Automata
• Languages and Programming
• Theory of Cryptography Conference
• Jonathan Katz
• Theoretical computer science
• International Cryptology Conference
• LOKI

Automata Mista G´erard Huet INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France, , http://pauillac.inria.fr/~huet

Source URL: gallium.inria.fr

• Finite automata
• Control theory
• Finite-state transducer
• Index of standards articles

Course Syllabus: CS 150: The Theory of Automata and Formal Languages Winter, 2016 Course Description: The course introduces some fundamental concepts in automata theory and formal languages including grammar, finite auto

Source URL: www.cs.ucr.edu

RAPID Programming of Pattern-Recognition Processors Kevin Angstadt Westley Weimer Kevin Skadron

Source URL: cap.virginia.edu

• Finite automata
• Software engineering
• Computer programming
• Software
• Nondeterministic finite automaton
• Automata theory
• Finite-state machine
• Lex
• Regular expression
• Macro
• Pattern matching

PII:

Source URL: www.cis.upenn.edu

• Finite automata
• Timed automaton
• Muller automaton
• Deterministic automaton
• Finite-state machine
• Regular language
• Nondeterministic finite automaton
• Alphabet
• Automata theory
• -automaton

Exponential Stochastic Cellular Automata for Massively Parallel Inference Michael Wick Oracle Labs,

Source URL: manzil.ml

• Estimation theory
• Expectationmaximization algorithm
• Missing data
• Exponential family
• Latent Dirichlet allocation
• Symbol
• Variational Bayesian methods

Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

Source URL: user.it.uu.se

• FO
• Finite model theory
• Finite automata
• Models of computation

ioco Theory for Probabilistic Automata M. Gerhold, M.I.A. Stoelinga10th MBT Workshop, London 2015

Source URL: mbt-workshop.org

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

AUTOMATA THEORY IN NOMINAL SETS ´ MIKOLAJ BOJANCZYK, BARTEK KLIN, AND SLAWOMIR LASOTA University of Warsaw e-mail address:

Source URL: www.mimuw.edu.pl